class APP
feature
    INIT(a : INTEGER) 
    do
    end
end